On Height and Happiness
نویسنده
چکیده
Predicate abstraction provides very simple formal machinery that represents some of the ideas connecting intension and extension. It has been investigated and applied for many years now. Here we do two things with it. First, we present some natural examples, and show how predicate abstraction can be applied to them. Second, we give a formal proof procedure for predicate abstraction, based on nested sequents. Soundness and completeness proofs are sketched.
منابع مشابه
The Effect of Happiness Training on Students’ Mental Health and Level of Happiness Based on Fordyce Cognitive-Behavioral Technique
Introduction: The purpose of the present study is the influence happiness training on students’ mental health and level of happiness. Methods: A pre-test post-test method with control group is applied in the present work. At first, the GHQ-28 questioner is given to 500 students. Afterwards, 70 students have been chosen randomly among those that have had low mental health. They have been divide...
متن کاملA Study of the Views of Farabi and Ibn Sina on the Definition of Happiness and Its Relation to the Faculties of the Soul
This research is an attempt to compare the views of Farabi and Ibn Sina on the question of happiness, which is discussed in two parts: the definition of happiness and its relation to the faculties of the soul. Farabi has suggested five definitions and Ibn Sina one definition for happiness. It will be shown that in some respects the definition of Ibn Sina and in some others those of Farabi are m...
متن کاملPredictive role of happiness by psychological capital and purpose in life on staff of Geological Survey of Tehran
Happiness is the first and the most fundamental concept in positive psychology. Hence the numbers of studies are on the rise. The aim of this study is predictive role of happiness by psychological capital and purpose in life on geological staff in Tehran. In this correlation study participants included 160 employees of the Geological Survey of Tehran. Tools used in research were Oxford Happines...
متن کاملGhazzali on The happiness and its types
Ghazzali has defined happiness in his works differently. In his system of thought, the concept of perfection has been taken to be closely related to happiness. It is the very agent leading us to the understanding of his definition of happiness. Ghazzali has divided perfection, firstly, into essential and accidental and, secondly, into true and imaginary. For him, real perfection is the same as ...
متن کاملThe Study of Nonlinear Effects of Government Size on Happiness in Developing and Developed Countries by the Threshold Approach
Expended Abstract Introduction: One of the most important goals of today’s societies is to achieve a happy society, a society where the happiness of its people will improve the quality of life and labor productivity, will boost economic growth and, ultimately, will lead to sustainable development. In this regard, government expenditures and the amount of government intervention in the econom...
متن کاملAnalyzing the Mediating Role of Responsibility in Explaining the Effect of Social Intelligence on Nurses' Happiness
Introduction: The outbreak of coronavirus disease has caused a lot of physical and psychological damage to medical staff, especially nurses, and has reduced their happiness. Therefore, this study was to analyze the mediating role of responsibility in explaining the effect of social intelligence on happiness in nurses of coronavirus wards. Methods: The research method is descriptive-correlationa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013